Kurt Gödel is one of the major figures of logic and foundations from the early 20th century.
completeness theorem
incompleteness theorem
continuum hypothesis
NBG set theory
Dialectica interpretation
Last revised on November 7, 2018 at 11:49:41. See the history of this page for a list of all contributions to it.